libacpi: don't announce a 8042 controller in the FADT for PVHv2 guests
authorRoger Pau Monné <roger.pau@citrix.com>
Wed, 7 Dec 2016 16:13:59 +0000 (17:13 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 7 Dec 2016 16:13:59 +0000 (17:13 +0100)
commit0f40a54e1bd568b39461616dc8751d24547057db
tree84b9b4c3ce82339cb6e69dfa23bfff56f5868138
parent8a8ce70ccfe8e4e647062fc0df914fb70cd6f8d0
libacpi: don't announce a 8042 controller in the FADT for PVHv2 guests

There's no such controler available for PVHv2 guests.

Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
tools/firmware/hvmloader/util.c
tools/libacpi/build.c
tools/libacpi/libacpi.h
tools/libacpi/static_tables.c